package sketch.experiment.complexdatastructure;

import java.util.List;

import sketch.main.GeneratingTests;
import sketch.specs.SketchedMethodDeclaration;
import sketch.specs.SketchedMethodsCreator;
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SketchFibHeapTest extends TestCase {

	public static Test suite() {
		return new TestSuite(SketchFibHeapTest.class);
	}
	
    String testSketchFile = "./tests/sketch/experiment/complexdatastructure/Z_Sketch_FibHeap.java";
	
	//to output the expanded tests in a specified place
	String outputFileDir = "./tests/sketch/experiment/complexdatastructure/autogenerated/";
	String packageName = "sketch.experiment.complexdatastructure.autogenerated";
	String outputClassName = "TestsGeneratedBySketchingForFibHeap2";
	
	public void testGeneratingTestsFromSketching() {
		SketchedMethodsCreator creator = new SketchedMethodsCreator(testSketchFile);
		List<SketchedMethodDeclaration> sketchedMethods = creator.createSketchedMethodList();
		
        assertEquals(1, sketchedMethods.size());
		
		GeneratingTests.generateTestsAndWriteToFile(sketchedMethods, creator.getUnit(),
				outputFileDir, packageName, outputClassName);
	}
}
